Optimal. Leaf size=84 \[ \frac{625 x^7}{14}+\frac{3625 x^6}{24}+\frac{1855 x^5}{8}+\frac{6245 x^4}{64}-\frac{21229 x^3}{96}-\frac{28747 x^2}{128}+\frac{307461}{512} \log \left (2 x^2-x+3\right )+\frac{122691 x}{128}+\frac{1156639 \tan ^{-1}\left (\frac{1-4 x}{\sqrt{23}}\right )}{256 \sqrt{23}} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.056764, antiderivative size = 84, normalized size of antiderivative = 1., number of steps used = 6, number of rules used = 5, integrand size = 25, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.2, Rules used = {1657, 634, 618, 204, 628} \[ \frac{625 x^7}{14}+\frac{3625 x^6}{24}+\frac{1855 x^5}{8}+\frac{6245 x^4}{64}-\frac{21229 x^3}{96}-\frac{28747 x^2}{128}+\frac{307461}{512} \log \left (2 x^2-x+3\right )+\frac{122691 x}{128}+\frac{1156639 \tan ^{-1}\left (\frac{1-4 x}{\sqrt{23}}\right )}{256 \sqrt{23}} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 1657
Rule 634
Rule 618
Rule 204
Rule 628
Rubi steps
\begin{align*} \int \frac{\left (2+3 x+5 x^2\right )^4}{3-x+2 x^2} \, dx &=\int \left (\frac{122691}{128}-\frac{28747 x}{64}-\frac{21229 x^2}{32}+\frac{6245 x^3}{16}+\frac{9275 x^4}{8}+\frac{3625 x^5}{4}+\frac{625 x^6}{2}-\frac{14641 (25-21 x)}{128 \left (3-x+2 x^2\right )}\right ) \, dx\\ &=\frac{122691 x}{128}-\frac{28747 x^2}{128}-\frac{21229 x^3}{96}+\frac{6245 x^4}{64}+\frac{1855 x^5}{8}+\frac{3625 x^6}{24}+\frac{625 x^7}{14}-\frac{14641}{128} \int \frac{25-21 x}{3-x+2 x^2} \, dx\\ &=\frac{122691 x}{128}-\frac{28747 x^2}{128}-\frac{21229 x^3}{96}+\frac{6245 x^4}{64}+\frac{1855 x^5}{8}+\frac{3625 x^6}{24}+\frac{625 x^7}{14}+\frac{307461}{512} \int \frac{-1+4 x}{3-x+2 x^2} \, dx-\frac{1156639}{512} \int \frac{1}{3-x+2 x^2} \, dx\\ &=\frac{122691 x}{128}-\frac{28747 x^2}{128}-\frac{21229 x^3}{96}+\frac{6245 x^4}{64}+\frac{1855 x^5}{8}+\frac{3625 x^6}{24}+\frac{625 x^7}{14}+\frac{307461}{512} \log \left (3-x+2 x^2\right )+\frac{1156639}{256} \operatorname{Subst}\left (\int \frac{1}{-23-x^2} \, dx,x,-1+4 x\right )\\ &=\frac{122691 x}{128}-\frac{28747 x^2}{128}-\frac{21229 x^3}{96}+\frac{6245 x^4}{64}+\frac{1855 x^5}{8}+\frac{3625 x^6}{24}+\frac{625 x^7}{14}+\frac{1156639 \tan ^{-1}\left (\frac{1-4 x}{\sqrt{23}}\right )}{256 \sqrt{23}}+\frac{307461}{512} \log \left (3-x+2 x^2\right )\\ \end{align*}
Mathematica [A] time = 0.0268885, size = 72, normalized size = 0.86 \[ \frac{x \left (120000 x^6+406000 x^5+623280 x^4+262290 x^3-594412 x^2-603687 x+2576511\right )}{2688}+\frac{307461}{512} \log \left (2 x^2-x+3\right )-\frac{1156639 \tan ^{-1}\left (\frac{4 x-1}{\sqrt{23}}\right )}{256 \sqrt{23}} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.046, size = 64, normalized size = 0.8 \begin{align*}{\frac{625\,{x}^{7}}{14}}+{\frac{3625\,{x}^{6}}{24}}+{\frac{1855\,{x}^{5}}{8}}+{\frac{6245\,{x}^{4}}{64}}-{\frac{21229\,{x}^{3}}{96}}-{\frac{28747\,{x}^{2}}{128}}+{\frac{122691\,x}{128}}+{\frac{307461\,\ln \left ( 2\,{x}^{2}-x+3 \right ) }{512}}-{\frac{1156639\,\sqrt{23}}{5888}\arctan \left ({\frac{ \left ( -1+4\,x \right ) \sqrt{23}}{23}} \right ) } \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.43462, size = 85, normalized size = 1.01 \begin{align*} \frac{625}{14} \, x^{7} + \frac{3625}{24} \, x^{6} + \frac{1855}{8} \, x^{5} + \frac{6245}{64} \, x^{4} - \frac{21229}{96} \, x^{3} - \frac{28747}{128} \, x^{2} - \frac{1156639}{5888} \, \sqrt{23} \arctan \left (\frac{1}{23} \, \sqrt{23}{\left (4 \, x - 1\right )}\right ) + \frac{122691}{128} \, x + \frac{307461}{512} \, \log \left (2 \, x^{2} - x + 3\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 0.975225, size = 252, normalized size = 3. \begin{align*} \frac{625}{14} \, x^{7} + \frac{3625}{24} \, x^{6} + \frac{1855}{8} \, x^{5} + \frac{6245}{64} \, x^{4} - \frac{21229}{96} \, x^{3} - \frac{28747}{128} \, x^{2} - \frac{1156639}{5888} \, \sqrt{23} \arctan \left (\frac{1}{23} \, \sqrt{23}{\left (4 \, x - 1\right )}\right ) + \frac{122691}{128} \, x + \frac{307461}{512} \, \log \left (2 \, x^{2} - x + 3\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 0.156462, size = 87, normalized size = 1.04 \begin{align*} \frac{625 x^{7}}{14} + \frac{3625 x^{6}}{24} + \frac{1855 x^{5}}{8} + \frac{6245 x^{4}}{64} - \frac{21229 x^{3}}{96} - \frac{28747 x^{2}}{128} + \frac{122691 x}{128} + \frac{307461 \log{\left (x^{2} - \frac{x}{2} + \frac{3}{2} \right )}}{512} - \frac{1156639 \sqrt{23} \operatorname{atan}{\left (\frac{4 \sqrt{23} x}{23} - \frac{\sqrt{23}}{23} \right )}}{5888} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.25004, size = 85, normalized size = 1.01 \begin{align*} \frac{625}{14} \, x^{7} + \frac{3625}{24} \, x^{6} + \frac{1855}{8} \, x^{5} + \frac{6245}{64} \, x^{4} - \frac{21229}{96} \, x^{3} - \frac{28747}{128} \, x^{2} - \frac{1156639}{5888} \, \sqrt{23} \arctan \left (\frac{1}{23} \, \sqrt{23}{\left (4 \, x - 1\right )}\right ) + \frac{122691}{128} \, x + \frac{307461}{512} \, \log \left (2 \, x^{2} - x + 3\right ) \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]